intuitionistic continuum

См. также в других словарях:

• Continuum (theory) — For other uses, see Continuum (disambiguation). Continuum theories or models explain variation as involving a gradual quantitative transition without abrupt changes or discontinuities. It can be contrasted with categorical models which propose… …   Wikipedia

• Indecomposability — In constructive mathematics, indecomposability or indivisibility ( de. unzerlegbarkeit, from the adjective unzerlegbar ) is the principle that the continuum cannot be partitioned into two nonempty pieces. This principle was established by Brouwer …   Wikipedia

• Unzerlegbarkeit — est le principe des mathématiques constructives qui dit que le continu, c est à dire l ensemble des nombres réels, n admet aucune partition propre. Le mot signifie « indécomposabilité » en allemand, et l adjectif correspondant est… …   Wikipédia en Français

• Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

• mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• Théorie des catégories — La théorie des catégories étudie les structures mathématiques et les relations qu elles entretiennent. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l informatique théorique et en… …   Wikipédia en Français

• Modal companion — In logic, a modal companion of a superintuitionistic (intermediate) logic L is a normal modal logic which interprets L by a certain canonical translation, described below. Modal companions share various properties of the original intermediate… …   Wikipedia

• History of logic — Philosophy ( …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• Philosophy of mathematics — The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of …   Wikipedia